Leveraging Internet Background Radiation for Opportunistic Network Analysis Karyn Benson∗† , Alberto Dainotti† , kc claffy† , Alex C. Snoeren∗ , Michael Kallitsis‡ ∗ Computer Science and Engineering, UC Sa

Source URL: www.caida.org

No Honor Among Thieves: A Large-Scale Analysis of Malicious Web Shells Oleksii Starov‡ , Johannes Dahse† , Syed Sharique Ahmad‡ , Thorsten Holz† , Nick Nikiforakis‡ ‡

Source URL: gdac.uqam.ca

• Computing
• Software engineering
• System software
• Internet privacy
• Computer access control
• Secure Shell
• PHP
• Password
• Proxy server
• Passwd
• HTTP cookie
• Shell

dReach: δ-Reachability Analysis for Hybrid Systems Soonho Kong, Sicun Gao, Wei Chen, and Edmund Clarke Computer Science Department, Carnegie Mellon University, USA Abstract. dReach is a bounded reachability analysis to

Source URL: scungao.github.io

• Theoretical computer science
• Mathematics
• Dynamical systems
• Systems science
• Control theory
• Hybrid system
• Systems theory
• Satisfiability modulo theories

How Gamification Affects Physical Activity: Large-scale Analysis of Walking Challenges in a Mobile Application Ali Shameli Tim Althoff

Source URL: www.timalthoff.com

• Human behavior
• Psychology
• Behavior
• Cognition
• Exercise equipment
• Pedometer
• Walking
• Social networking service
• Physical attractiveness
• Sport
• Motivation
• Text messaging

Full-System Power Analysis and Modeling for Server Environments Dimitris Economou, Suzanne Rivoire, Christos Kozyrakis Partha Ranganathan

Source URL: rivoire.cs.sonoma.edu

• Computing
• Concurrent computing
• Computer architecture
• Server hardware
• Cluster computing
• Computers and the environment
• Blade server
• Server
• Power management
• Data center
• Itanium
• Embedded system

Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs Vojtˇech Forejt, Daniel Kroening, Ganesh Narayanaswamy, and Subodh Sharma Department of Computer Science, University of Oxford, UK Abs

Source URL: qav.comlab.ox.ac.uk

• Parallel computing
• Application programming interfaces
• Computer programming
• Message Passing Interface
• Computing
• Edsger W. Dijkstra
• Deadlock
• NC
• Software engineering
• Model checking

Peek-a-Boo, I Still See You: Why Efficient Traffic Analysis Countermeasures Fail

Source URL: ericw.us

• Transmission Control Protocol
• Network packet
• Network protocols
• Network performance
• Information
• Computing

DASHTrails: An Approach for Modeling and Analysis of Distribution-Adapted Sequential Hypotheses and Trails Martin Atzmueller and Andreas Schmidt and Mark Kibanov University of Kassel, Research Center for Information Syst

Source URL: gdac.uqam.ca

• Design of experiments
• Statistics
• Probability and statistics
• Markov models
• Statistical theory
• Psychometrics
• Statistical hypothesis testing
• Graph theory
• Markov chain
• Bayesian inference
• Matrix
• Data transformation

Political Analysis:456–487 doi:pan/mpl002 Advance Access publication June 30, 2006 Connecting the Congress: A Study of

Source URL: fowler.ucsd.edu

• Graph theory
• Network theory
• Mathematics
• Discrete mathematics
• Networks
• Algebraic graph theory
• Centrality
• Network analysis
• Sponsor
• Betweenness centrality
• Legislator

Mississippi Autism Board The Regulating Board for Applied Behavior Analysis P.O. Box 136 Jackson, MSTelephoneFaxwww.MSAutism.sos.ms.gov

Source URL: sos.ms.gov

• Psychology
• Applied psychology
• Behaviorism
• Mindbody problem
• Philosophy of psychology
• Theory of mind
• Licensure
• Applied behavior analysis
• Professional certification
• Professional practice of behavior analysis